Tractable Correct Planning for an Assembly Line

The industry asks for formal, eecient methods for tackling dynamic systems of combinatorial nature, eg. error recovery in industrial processes. As an application example, we have used a minituare assembly line that assembles toy cars|a process that has many similarities with real industrial processes. We have tried to apply one of our provably correct, polynomial-time planning algorithms to plan for this assembly line. Analysing why this did not work provided insight into the inherent structure of the process. This was used as feedback for modifying the theory and extending the previous theoretical results. This resulted in a new provably correct, polynomial-time planner which is suucient for this application.